a
\InputIfFileExists{src/test/antlr/LaTeX_file_3.tex}
\begin{proof}
$i$
\begin{lemma}
$o$
\end{lemma}
vahe
\begin{lemma}
\declare{syntax={infix, 7, /, lassoc}, meaning=arith1.divide}
$meh$
\end{lemma}
$blaa$
\end{proof}
\InputIfFileExists{src/test/antlr/LaTeX_file_4.tex}